Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·18h
🧮Algebraic Archives
Flag this post
The Structure of Data
🗂Data structures
Flag this post
Geometric Nets: Unleashing the Power of Shape in AI by Arvind Sundararajan
🌀Differential Geometry
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·1d
🧮Theoretical Computer Science
Flag this post
Developing a Multi-task Ensemble Geometric Deep Network for Supply Chain Sustainability and Risk Management
arxiv.org·18h
🌀Riemannian Computing
Flag this post
Magisterium
✨Algebraic Effects
Flag this post
Neural active manifolds: nonlinear dimensionality reduction for uncertainty quantification
arxiv.org·18h
🌀Riemannian Computing
Flag this post
A problem that takes quantum computers an unfathomable amount of time to solve
phys.org·12h
⚛️Quantum Storage
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·18h
🧠Machine Learning
Flag this post
Clone Deterministic 3D Worlds with Geometrically-Regularized World Models
arxiv.org·18h
🌀Differential Geometry
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
Topology-Aware Active Learning on Graphs
arxiv.org·18h
🌐Computational Topology
Flag this post
Curly Flow Matching for Learning Non-gradient Field Dynamics
arxiv.org·18h
🌀Riemannian Computing
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·18h
🌳Context free grammars
Flag this post
Leveling with cluster analysis in Python
📏Range Queries
Flag this post
Robust GNN Watermarking via Implicit Perception of Topological Invariants
arxiv.org·18h
🕳️Persistent Homology
Flag this post
Loading...Loading more...